Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
251	Safe Lazy Software Upgrades in Object-Oriented Databases Barbara Liskov, Chuang-Hue Moh, Steven Richman, Liuba Shrira, Yin Cheung, Chandrasekhar Boyapati MIT Laboratory for Computer Science {liskov,chmoh,richman,liuba,xy Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2002-06-07 15:50:36 Data Database management systems Information Concurrency control Object database ECO Database Object-oriented design Invariant Data management Object-oriented programming Transaction processing
252	Page 1 of[removed]Spring 2014, Quiz 2 Department of Electrical Engineering and Computer Science Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-05-27 10:54:51 Data management Concurrency Futures and promises Lock Extensible Storage Engine Readers–writer lock ALGOL 68 Linearizability Concurrency control Computing Transaction processing
253	Computer Science Technical Report Mutual Exclusion Between Neighboring Nodes in a Tree That Stabilizes Using Read/Write Atomicity? Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 1999-06-22 14:29:51 Static single assignment form Self-stabilization Electromagnetism Topology Electronics Computing Fault-tolerant computer systems Concurrency control Mutual exclusion
254	Future Directions Edward A. Lee 6th Biennial Ptolemy Miniconference Berkeley, CA Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-05-18 18:54:28 Computability theory Actor model Concurrent computing Ptolemy Project Structure and Interpretation of Classical Mechanics Gerald Jay Sussman Concurrency Parallel computing Computer science Computing Science Academia
255	In Math. Struct. in Comp. Science, 13:4, [removed], August[removed]Transition and Cancellation in Concurrency and Branching Time Vaughan R. Pratt Stanford University Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-11-01 13:39:49 Mathematics Category theory Formal languages Theoretical computer science Concurrency Petri net Actor model Monoid Parallel computing Automata theory Abstract algebra Models of computation
256	Old And New Algorithms for Minimal Coverability Sets Petri Nets 2012, Hamburg Antti Valmari Tampere University of Technology, FINLAND Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2013-01-07 04:05:16 Petri net Ordinal number Automata theory Computer science Theoretical computer science Abstraction Models of computation Concurrency Diagrams
257	The Little Book of Semaphores Allen B. Downey Version 2.1.5 2 Add to Reading List Source URL: liquormartoutlets.com Language: English - Date: 2013-04-17 02:14:25 Readers-writers problem Semaphore Producer-consumer problem Dining philosophers problem Cigarette smokers problem Mutual exclusion Software design pattern Deadlock Thread Concurrency Computing Computer science
258	Isolation-Only Transactions for Mobile Computing Qi Lu & M. Satyanaranyanan School of Computer Science Carnegie Mellon University 1. Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 1999-07-15 12:22:38 Information Concurrency control Databases Serializability Coda Global serializability Isolation Schedule Extensible Storage Engine Transaction processing Data management Data
259	Deterministic OpenMP For Race-Free Parallelism Amittai Aviram and Bryan Ford Decentralized/Distributed Systems (DeDiS) Department of Computer Science Yale University Add to Reading List Source URL: dedis.cs.yale.edu Language: English - Date: 2012-01-17 17:50:34 Parallel computing Software engineering Software testing Lock Thread OpenMP Semaphore Heisenbug Synchronization Concurrency control Computing Computer programming
260	Disconnected Objects: Reconciliation in a Nested Object Transaction Environment Peter Graham, Ken Barker and Ahmad Reza-Hadaegh Advanced Database Systems Laboratory Department of Computer Science, University of Manitoba Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2001-05-23 17:37:33 Data Concurrency control Databases Object-oriented programming Serializability Multiversion concurrency control Nested transaction Object Spring Framework Transaction processing Data management Computing

UPDATE